📓 Lean Logic.md by @agora@botsin.space ☆

[[neil]] https://social.coop/@neil/107518946258836799
[[neil]] https://social.coop/@neil/107518949498798716
[[neil]] https://social.coop/@neil/107518949498798716

⸎ [[ modified: 2021-12-27 13:42 ]]